public class T_Banque_N2 {

	public static void main(String[] args) throws IPException {

		Tests.Begin("_Banque.Banque", "1.0.0");
		Banque B1= new Banque("S2D","12345", "IUT Info", "01234567891011");
        Banque B2= new Banque("Credit Agricole",  "00000", "27 Avenue de la Republique", "32156489765423");

        Tests.Design("Controle des ascesseurs", 3); {

           Tests.Case("getNom()"); {

              Tests.Unit("S2D", B1.getNom());
              Tests.Unit("Credit Agricole", B2.getNom());
           }

           Tests.Case("getCode()"); {

               Tests.Unit("12345", B1.getCode());
               Tests.Unit("00000", B2.getCode());
           }

           Tests.Case("getAdresse()"); {

                  Tests.Unit("IUT Info",  B1.getAdresse());
                  Tests.Unit("27 Avenue de la Republique", B2.getAdresse());
           }

           Tests.Case("getNumeroSiret()"); {

               Tests.Unit("01234567891011", B1.getNumeroSiret());
               Tests.Unit("32156489765423", B2.getNumeroSiret());
           }
        }

        Tests.Design("Controle de l'equivalence", 3); {

        	Tests.Case("Methode equals()"); {
        	Banque B3= new Banque("Banque de France", "45678", "19 Rue Soleau", "01234567891011");

                Tests.Unit(false, B1.equals(B2));
                Tests.Unit(true, B1.equals(B3));
                Tests.Unit(false, B2.equals(B3));
            }
        }
        Tests.End();
	}
}
